Global constitutionalism: A practical universal

Proportionality Balancing and Global Constitutionalism

A Practical Distributed Universal Construction

Modern distributed systems employ atomic read-modify-write primitives to coordinate concurrent operations. Such primitives are typically built on top of a central server, or rely on an agreement protocol. Both approaches provide a universal construction, that is, a general mechanism to construct atomic and responsive objects. These two techniques are however known to be inherently costly. As a ...

Should Progressive Constitutionalism Embrace Popular Constitutionalism?

There are two conceptions of progressive constitutionalism explored in this Symposium. The first is of progressive constitutionalism as, first and foremost, a programmatic agenda, focused on how progressives’ “distinctive constitutional vision may best be transmuted into claims of constitutional law.”1 To the extent that this constitutional vision entails only a set of policy preferences (e.g.,...

Towards Practical Universal Search

Universal Search is an asymptotically optimal way of searching the space of programs computing solution candidates for quickly verifiable problems. Despite the algorithm’s simplicity and remarkable theoretical properties, a potentially huge constant slowdown factor has kept it from being used much in practice. Here we greatly bias the search with domain-knowledge, essentially by assigning short...

What is a Postmodern Constitutionalism?